symbolic execution
符号执行
热门查询
- lobster n. 龙虾 龙虾肉
- propound vt. 提出；提议；将…提供考虑
- epitaxy n. [电子] 外延；[晶体] 取向附生，外延附生
- shocker n. 令人震惊的人或事物；耸人听闻的故事或小说
- inscrutable adj. 神秘的；不可理解的；不能预测的；不可思议的
- licence n. 许可证，执照；特许 vt. 特许，许可；发给执照
- subtitled adj. 带副标题的；有小标题的 vt. 加副标题（subtitle的过去分词）
- discriminating v. 识别（discriminate的ing形式）；区别对待 adj. 识别的；有差别的；有识别力的
- versed adj. 精通的；熟练的
- kessler [人名] 凯斯勒
- vane n. 叶片；[气象] 风向标；风信旗 n. (Vane)人名；(老)万；(塞、芬)瓦内；(英)文；(西)巴内
- Rosicrucian n. 蔷薇十字会员；炼金术士 adj. 玫瑰十字会的；玄术的
- alienate vt. 使疏远，离间；让与
- MEM n. 分配信息（显示随机存取存贮器的分配信息） n. (Mem)人名；(葡)梅姆
- transparently adv. 显然地，易觉察地；明亮地
- overnight adv. 通宵；突然；昨晚 adj. 晚上的；通宵的；前夜的 n. 头天晚上；一夜的逗留 vt. 连夜快递 vi. 过一夜
- giraffe n. 长颈鹿
- modular adj. 模块化的；模数的；有标准组件的
- unquantifiable adj. 难以计算的；无法量化的
- Aviv n. 大自然的重生 n. (Aviv)人名；(俄)阿维夫
